搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Conference record : Fifth Asilomar Conference on Circuits and Systems : papers presented November 8-10, 1971 0 索取号：TP302-53/E801/5 作者：Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、出版社：[North Hollywood, Calif. : Western Periodicals Company, 1972]		The Analysis of concurrent systems : Cambridge, September 12-16, 1983, proceedings 0 索取号：TP3-55/E904 作者：出版社：Berlin ; New York : Springer-Verlag, c1985.
	Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 0 索取号：TP3-55/E906 作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、出版社：Berlin ; New York : Springer-Verlag, 1984.		Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 0 索取号：TP3-53/E8015/6 作者：出版社：Berlin ; New York : Springer-Verlag, 1982.
	Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings 0 索取号：TP3-55/E9010 作者：出版社：Berlin ; New York : Springer-Verlag, 1981.		Proceedings of the 1975 Sagamore Computer Conference on Parallel Processing : papers presented on August 19-22, 1975 0 索取号：TP3-53/E8025/1975 作者：Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、出版社：Long Beach, CA : available from IEEE Computer Society, c1975.
	Proceedings of the 1973 Sagamore Computer Conference on Parallel Processing, papers presented on August 22-24, 1973 0 索取号：TP3-53/E8025/1973 作者：Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、出版社：[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.		The European Computing Congress conference proceedings, Brunel University, England, 13-17 May 1974 0 索取号：TP3-53/E8012/1 作者：European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、出版社：Uxbridge : Online (Computer Systems) Ltd., [1974].
	Proceedings of the Eighth Conference on Electronic Computation : Continuing Education Center, University of Houston, Houston, Texas, February 21-23 1983 0 索取号：TP3-53/E9021/8 作者：Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、出版社：New York, N.Y. : ASCE, 1983.		Proceedings of the second Berkeley Workshop on Distributed Data Management and Computer Networks 0 索取号：TP3-53/E8013/2 作者：Berkeley Workshop on Distributed Data Management and Computer Networks (2nd : 1977)、Lawrence Berkeley Laboratory. Computer Science and Applied Mathematics Dept.、出版社：Berkeley, Cal. : Lawrence Berkeley Laboratory ; Springfield, Va. : reproduced by National Technical Information Service, 1977.
	Proceedings of the 5th International Conference on Computer Capacity Management 0 索取号：TP3-53/E9011/5 作者：International Conference on Computer Capacity Management (5th : 1983 : New Orleans、 La.)、Kaplan、 Carol B.、Institute for Software Engineering.、出版社：Sunnyvale, Calif. : Institute for Software Engineering, c1983.		Proceedings of the 1979 International Conference on Parallel Processing : papers presented on August 21-24, 1979 0 索取号：TP338.6-532/E20062/1979 作者：International Conference on Parallel Processing (1979 : Wayne State University)、Garcia、 Oscar N.、 1936-、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、出版社：New York : Institute of Electrical and Electronics Engineers, c1979.
	Proceedings of the 1978 International Conference on Parallel Processing : papers presented on August 22-25, 1978 0 索取号：TP338.6-532/E20062/1978 作者：International Conference on Parallel Processing (1978 : Bellaire、 Mich.)、Lipovski、 G. Jack.、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、出版社：Long Beach, CA : available from IEEE Computer Society, c1978.		Proceedings of the 1976 International Conference on Parallel Processing : papers presented on August 24-27, 1976 0 索取号：TP338.6-532/E20062/1976 作者：International Conference on Parallel Processing (1976 : Hartland、 Mich.)、Enslow、 Philip H.、 1933-、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、出版社：Long Beach, CA : Available from IEEE Computer Society, c1976.
	ACM 83 [electronic resource] : computers, extending the human resource : 1983 annual conference, New York City, October 24-26, 1983 0 索取号：TP3-27/E801/1983 作者：Association for Computing Machinery. Conference (1983 : New York、 N.Y.)、ACM Digital Library.、出版社：New York : Association for Computing Machinery, c1983		Robotics and expert systems 0 索取号：TP11-53/E906/1986 作者：Workshop on Robotics and Expert Systems (2nd : 1986 : NASA/Johnson Space Center)、Instrument Society of America. Robotics & Expert Systems Division.、Instrument Society of America. Clear Lake--Galveston Section.、Instrument Society of America. District 7.、出版社：Research Triangle Park, N.C. : Instrument Society of America, 1986?.

	Conference record : Fifth Asilomar Conference on Circuits and Systems : papers presented November 8-10, 1971 0 索取号：TP302-53/E801/5 作者：Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、出版社：[North Hollywood, Calif. : Western Periodicals Company, 1972]		The Analysis of concurrent systems : Cambridge, September 12-16, 1983, proceedings 0 索取号：TP3-55/E904 作者：出版社：Berlin ; New York : Springer-Verlag, c1985.
	Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 0 索取号：TP3-55/E906 作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、出版社：Berlin ; New York : Springer-Verlag, 1984.		Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 0 索取号：TP3-53/E8015/6 作者：出版社：Berlin ; New York : Springer-Verlag, 1982.
	Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings 0 索取号：TP3-55/E9010 作者：出版社：Berlin ; New York : Springer-Verlag, 1981.		Proceedings of the 1975 Sagamore Computer Conference on Parallel Processing : papers presented on August 19-22, 1975 0 索取号：TP3-53/E8025/1975 作者：Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、出版社：Long Beach, CA : available from IEEE Computer Society, c1975.
	Proceedings of the 1973 Sagamore Computer Conference on Parallel Processing, papers presented on August 22-24, 1973 0 索取号：TP3-53/E8025/1973 作者：Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、出版社：[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.		The European Computing Congress conference proceedings, Brunel University, England, 13-17 May 1974 0 索取号：TP3-53/E8012/1 作者：European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、出版社：Uxbridge : Online (Computer Systems) Ltd., [1974].
	Proceedings of the Eighth Conference on Electronic Computation : Continuing Education Center, University of Houston, Houston, Texas, February 21-23 1983 0 索取号：TP3-53/E9021/8 作者：Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、出版社：New York, N.Y. : ASCE, 1983.		Proceedings of the second Berkeley Workshop on Distributed Data Management and Computer Networks 0 索取号：TP3-53/E8013/2 作者：Berkeley Workshop on Distributed Data Management and Computer Networks (2nd : 1977)、Lawrence Berkeley Laboratory. Computer Science and Applied Mathematics Dept.、出版社：Berkeley, Cal. : Lawrence Berkeley Laboratory ; Springfield, Va. : reproduced by National Technical Information Service, 1977.
	Proceedings of the 5th International Conference on Computer Capacity Management 0 索取号：TP3-53/E9011/5 作者：International Conference on Computer Capacity Management (5th : 1983 : New Orleans、 La.)、Kaplan、 Carol B.、Institute for Software Engineering.、出版社：Sunnyvale, Calif. : Institute for Software Engineering, c1983.		Proceedings of the 1979 International Conference on Parallel Processing : papers presented on August 21-24, 1979 0 索取号：TP338.6-532/E20062/1979 作者：International Conference on Parallel Processing (1979 : Wayne State University)、Garcia、 Oscar N.、 1936-、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、出版社：New York : Institute of Electrical and Electronics Engineers, c1979.
	Proceedings of the 1978 International Conference on Parallel Processing : papers presented on August 22-25, 1978 0 索取号：TP338.6-532/E20062/1978 作者：International Conference on Parallel Processing (1978 : Bellaire、 Mich.)、Lipovski、 G. Jack.、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、出版社：Long Beach, CA : available from IEEE Computer Society, c1978.		Proceedings of the 1976 International Conference on Parallel Processing : papers presented on August 24-27, 1976 0 索取号：TP338.6-532/E20062/1976 作者：International Conference on Parallel Processing (1976 : Hartland、 Mich.)、Enslow、 Philip H.、 1933-、Wayne State University. Dept. of Electrical and Computer Engineering.、IEEE Computer Society.、Association for Computing Machinery.、出版社：Long Beach, CA : Available from IEEE Computer Society, c1976.
	ACM 83 [electronic resource] : computers, extending the human resource : 1983 annual conference, New York City, October 24-26, 1983 0 索取号：TP3-27/E801/1983 作者：Association for Computing Machinery. Conference (1983 : New York、 N.Y.)、ACM Digital Library.、出版社：New York : Association for Computing Machinery, c1983		Robotics and expert systems 0 索取号：TP11-53/E906/1986 作者：Workshop on Robotics and Expert Systems (2nd : 1986 : NASA/Johnson Space Center)、Instrument Society of America. Robotics & Expert Systems Division.、Instrument Society of America. Clear Lake--Galveston Section.、Instrument Society of America. District 7.、出版社：Research Triangle Park, N.C. : Instrument Society of America, 1986?.